<html><body>
Adds an annotation, for example @Nullable/@NotNull, to the selected element. If the code belongs to a library,
the annotation will be stored in a separate file.
</body></html>
